Proof, language, and interaction - essays in honour of Robin Milner
- Författare
- (Edited by Gordon Plotkin, Colin Stirling and Mads Tofte.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| MIT | cop. 2000 | USA, Cambridge, Mass | xiv, 700 sidor. ill. 23 cm | |
| MIT Press | 2000 | Massachusetts, Cambridge, Mass | 1 online resource (xiv, 722 sidor. ) ill. |